Gauging noninvertible defects: a 2-categorical perspective

نویسندگان

چکیده

We generalize the notion of an anomaly for a symmetry to noninvertible enacted by surface operators using framework condensation in 2-categories. Given multifusion 2-category, potentially with some additional levels monoidality, we prove theorems about structure 2-category obtained condensing suitable algebra object. give examples where resulting category displays grouplike fusion rules and through cohomology computation, find obstruction further vacuum theory.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automata Learning: A Categorical Perspective

Automata learning is a known technique to infer a finite state machine from a set of observations. In this paper, we revisit Angluin’s original algorithm from a categorical perspective. This abstract view on the main ingredients of the algorithm lays a uniform framework to derive algorithms for other types of automata. We show a straightforward generalization to Moore and Mealy machines, which ...

متن کامل

Synchronization from a Categorical Perspective

We introduce a notion of synchronization for higher-dimensional automata, based on coskeletons of cubical sets. Categori cation transports this notion to the setting of categorical transition systems. We apply the results to study the semantics of an imperative programming language with message-passing.

متن کامل

Conceptual Data Modelling from a Categorical Perspective

For successful information systems development, conceptual data modeling is essential. Nowadays many techniques for conceptual data modeling exist. In-depth comparisons of concepts of these techniques are very diicult as the mathematical formalizations of these techniques, if they exist at all, are very diierent. As such there is a need for a unifying formal framework providing a suuciently hig...

متن کامل

Krivine's classical realisability from a categorical perspective

In a sequence of papers (Krivine 2001; Krivine 2003; Krivine 2009) J.-L. Krivine has introduced his notion of Classical Realizability for classical second order logic and Zermelo-Fraenkel set theory. Moreover, in more recent work (Krivine 2008) he has considered forcing constructions on top of it with the ultimate aim of providing a realizability interpretation for the axiom of choice. The aim ...

متن کامل

Krivine’s Classical Realizability from a Categorical Perspective

Krivine structures validating the reasonable assumption (SS1) are called strong abstract Krivine structures (saks’s). 10 Axiomatic Class Realiz. (5) Obviously, for A,B ∈ P⊥⊥(Λ) we have |A→B| ⊆ |A|→|B| = {t ∈ Λ | ∀s ∈ |A| ts ∈ |B|} But for any t ∈ |A| → |B| we have Et ∈ |A→B| where E = S(KI) with I = SKK.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Letters in Mathematical Physics

سال: 2023

ISSN: ['0377-9017', '1573-0530']

DOI: https://doi.org/10.1007/s11005-023-01655-1